今天來說說「命題」
命題是指「可以被判斷對錯的一個敘述」
另外還有否命題、逆命題、否逆命題

原命題：我有女朋友，記為 我 有女友
否命題：不是我沒女朋友，記為 不是我 沒有女友
逆命題：有女朋友的是我，記為 有女友 我
否逆命題： 沒有女朋友的不是我，記為 沒有女友 不是我

如果兩個命題所描述的真假關係相同則稱為等價
例如 「我有女朋友」 等價於 「沒有女朋友的不是我」
所以「否逆命題」與「原命題」等價

很多人初學時常常會犯的錯誤就是
把「原命題」和「否命題」當作等價

其實把「否逆命題」想像成一種逆向思考的感覺
最近看了「天能」，裡面的「逆行」就跟這個很像
由於是反著走，所以全部因果關係顛倒且命題前面都會加上 "not"

舉個很久以前的笑話當例子

A：什麼是邏輯推論
B：我來做個示範，你有養寵物嗎
A：有
B：因為你有養寵物，所以我推論你很有愛心
A：的確
B：既然你很有愛心，所以我推論有異性喜歡你
A：沒錯!!
B：這就是邏輯推論，我還有事先離開了
C：他剛剛說了什麼
A：他跟我介紹了邏輯推論，我來做個示範，你有養寵物嗎
C：沒有
A：那就說明了，沒!有!異!性!喜!歡!你!

這個正確的流程是
有養寵物 → 有愛心 → 有異性喜歡

如果正確的「逆行」應該是
「沒」有異性喜歡 → 「沒」有愛心 → 「沒」有養寵物
所以如果 A 去看天能應該會時空邏輯錯亂看不懂吧~XD

36：所以反證法就是這唷？

RN：對呀，他就是「反」著「證」明呀
　　所以如果「順行」是 OK 的
　　那「逆行」應該就能回到源頭
　　就像天能一樣!!